/****************************************************************************
 * Elisa 1.0                                                                *
 *--------------------------------------------------------------------------*
 * Author: Laurent Granvilliers, Vincent Sorin                              *
 * Copyright (c) 2004 Laboratoire d'Informatique de Nantes Atlantique       *
 *--------------------------------------------------------------------------*
 * Elisa is distributed WITHOUT ANY WARRANTY. Read the associated           *
 * COPYRIGHT file for more details.                                         *
 *--------------------------------------------------------------------------*
 * elisa_interval.cpp                                                       *
 ****************************************************************************/

#include "elisa_interval.h"

USING_ELISA

#ifndef NEW_INTERVAL
const elisa::Interval elisa::Interval::Universe = elisa::IcodeTraits::RealSet();
const elisa::Interval elisa::Interval::Zero     = elisa::IcodeTraits::Zero();
const elisa::Interval elisa::Interval::EmptySet = elisa::IcodeTraits::EmptySet();
const elisa::Interval elisa::Interval::Pi       = elisa::IcodeTraits::Pi();
#endif

void printAsRect(std::ostream & os, const elisa::Interval & x, const elisa::Interval & y)
{
	os << std::setprecision(20);
	os << x.inf() << ' ' << y.inf() << std::endl;
	os << x.inf() << ' ' << y.sup() << std::endl;
	os << x.sup() << ' ' << y.sup() << std::endl;
	os << x.sup() << ' ' << y.inf() << std::endl;
	os << x.inf() << ' ' << y.inf() << std::endl;
	os << std::endl;
}
